Programming language theory - PDFSEARCH.IO - Document Search Engine

Programming language theory
Results: 4158

#	Item
871	The Spirit of Ghost Code Jean-Christophe Filliˆ atre1,2 , L´eon Gondelman1? , and Andrei Paskevich1,2 1 Lab. de Recherche en Informatique, Univ. Paris-Sud, CNRS, Orsay, F-91405 Add to Reading List Source URL: bware.lri.fr Language: English - Date: 2014-09-27 10:51:46 Character encoding Digital typography Symbol Mathematics Orbifold Proof theory Programming language semantics Logic in computer science
872	Aspic Grammar (Fast variant) Laure Gonnord, university of LilleAspic vs Fast Add to Reading List Source URL: laure.gonnord.org Language: English - Date: 2012-02-07 06:09:22 Boolean algebra Boolean data type ALGOL 68 Software engineering Computing Programming language theory
873	GENETIC PROGRAMMING THEORY AND PRACTICE X GENETIC PROGRAMMING THEORY AND PRACTICE X Add to Reading List Source URL: juxi.net Language: English - Date: 2012-10-18 09:52:37 Operations research Programming language theory Software engineering Computing ALGOL 68 Genetic algorithm Mathematical optimization Evolutionary algorithms Genetic programming
874	Higher-Order and Symbolic Computation, 18, 245–269, 2005 c 2005 Springer Science + Business Media, Inc. Manufactured in The Netherlands. Selectors Make Set-Based Analysis Too Hard PHILIPPE MEUNIER Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2005-11-28 16:38:29 Lambda calculus Constraint programming Type theory Theoretical computer science Scheme Lambda System F Local consistency Constraint logic programming Programming language theory Software engineering Computer science
875	DRAFT Scheme Standardization Charter Participants of the 2002 Scheme workshop in Pittsburgh formed a “strategy” committee to determine a process and direction for future Scheme standards. The committee members are Al Add to Reading List Source URL: www.schemeworkshop.org Language: English - Date: 2011-08-12 16:48:24 Programming language theory Standardization Scheme Requests for Implementation Scheme programming language Scheme
876	CoqInE: Translating the Calculus of Inductive Constructions into the λΠ-calculus Modulo Mathieu Boespflug1 and Guillaume Burel2 1 McGill University Montr´eal, Qu´ebec, Canada Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2012-07-23 07:37:37 Type theory Dependently typed programming Lambda calculus Formal methods Recursion Calculus of constructions Calculus of inductive constructions Coq Dependent type Programming language theory Mathematics Algebra
877	Alma-0: An Imperative Language that Supports Declarative Programming KRZYSZTOF R. APT CWI and University of Amsterdam and JACOB BRUNEKREEF and VINCENT PARTINGTON Add to Reading List Source URL: www.diegm.uniud.it Language: English - Date: 2008-12-11 12:42:14 Programming paradigms Procedural programming languages Theoretical computer science Alma-0 Computability theory Logic programming Backtracking Assignment Imperative programming Software engineering Computing Computer programming
878	Under consideration for publication in J. Functional Programming 1 Finally Tagless, Partially Evaluated Tagless Staged Interpreters for Simpler Typed Languages Add to Reading List Source URL: okmij.org Language: English - Date: 2011-07-01 22:41:16 Type theory Data types Functional languages Functional programming Procedural programming languages Generalized algebraic data type Type system OCaml Type inference Software engineering Programming language theory Computing
879	ASYCUDA WORLD Declaration Processing Brokers’ USER MANUAL ASY C U D A Wor l d -D e c l a r a t i o n Add to Reading List Source URL: www.customs.gov.gd Language: English - Date: 2012-03-12 09:44:32 C Software engineering Programming language theory Customs International law Computing
880	The λΠ-calculus Modulo as a Universal Proof Language Mathieu Boespflug1 , Quentin Carbonneaux2 and Olivier Hermant3 1 2 Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2012-07-25 10:49:31 Mathematics Lambda calculus Dependently typed programming Logic in computer science Proof theory Natural deduction Curry–Howard correspondence Calculus of constructions Type system Type theory Programming language theory Theoretical computer science

UPDATE